Logic model - PDFSEARCH.IO - Document Search Engine

Logic model
Results: 5700

#	Item
561	Discourse model representation of referential and attributive descriptions Add to Reading List Source URL: www.psych.nyu.edu Language: English - Date: 2005-12-13 16:38:23 Meaning Semantics Linguistics Logic Proper name Keith Donnellan Philosophy of language Analytic philosophy Philosophical logic
562	D i s a m b i g u a t i n g Cue Phrases in Text and Speech Diane Litman and Julia Hirschberg* AT&T Bell Laboratories Murray Hill NJUSA , Add to Reading List Source URL: www.aclweb.org Language: English - Date: 2010-06-14 15:47:32 Philosophy of mind Semantics Pitch accent Linguistics Logic Language Interpretation Model theory Philosophy of language
563	Elastic forces on nematic point defects Eugene C. Gartland, Jr. Department of Mathematical Sciences, Kent State University, P.O. Box 5190, Kent, OHUSA Andr´e M. Sonnet and Epifanio G. Virga Add to Reading List Source URL: icm.mcs.kent.edu Language: English - Date: 2002-03-09 22:23:07 Philosophy of mind Semantics Logic Viscosity Physics Metaphilosophy Interpretation Model theory Philosophy of language
564	Rules and Queries with Ontologies: a Unified Logical Framework Enrico Franconi and Sergio Tessaris Faculty of Computer Science, Free University of Bozen-Bolzano, Italy lastname @inf.unibz.it Add to Reading List Source URL: www.inf.unibz.it Language: English - Date: 2011-09-08 09:53:45 Ontology Semantic Web Logic programming Non-classical logic Model theory Description logic Web Ontology Language Stable model semantics Semantic Web Rule Language Logic Science Mathematical logic
565	Issues of logic, algebra and topology in ontology Steven Vickers School of Computer Science, University of Birmingham, Birmingham, B15 2TT, UK. January 31, 2008 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2008-01-31 17:11:12 Model theory Formal languages Metalogic Predicate logic Functions and mappings Interpretation First-order logic Function Well-formed formula Logic Mathematics Mathematical logic
566	VOLT 2014 Workshop Report Moussa Amrani1 , Eugene Syriani2 , Manuel Wimmer3 , Robert Bill3 , Martin Gogolla4 , Frank Hermann5 , and Kevin Lano6 1 University of Namur, Belgium Add to Reading List Source URL: www.db.informatik.uni-bremen.de Language: English - Date: 2014-12-03 03:08:26 Software Graph rewriting VIATRA Formal methods Logic in computer science Object Constraint Language Model transformation language Kermeta Formal verification Unified Modeling Language Systems engineering Software engineering
567	Empirical Study of Logic-Based Modules: Cheap Is Cheerful Chiara Del Vescovo1 , Pavel Klinov2 , Bijan Parsia1 , Ulrike Sattler1 , Thomas Schneider3 , and Dmitry Tsarkov1 1 University of Manchester, UK Add to Reading List Source URL: www.informatik.uni-bremen.de Language: English - Date: 2013-07-30 04:18:35 Algebra Information science Knowledge representation Technical communication Metalogic Ontology Module Structure Elementary class Mathematics Model theory Abstract algebra
568	Published in Proc. of Conference on Automated Deduction, 2002, pp. 47–62. A Gradual Approach to a More Trustworthy, yet Scalable, Proof-Carrying Code Robert R. Schneck1 and George C. Necula2,? 1 Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2010-10-29 12:59:42 Deduction Formal methods Model theory Proof-carrying code Theorem Type safety IP Soundness Logic Mathematics Proof theory
569	doi:j.apal Add to Reading List Source URL: users.dcc.uchile.cl Language: English - Date: 2008-04-08 22:41:37 FO Metaphilosophy Age Interpretation Mathematics Model theory Logic Finite model theory
570	BRICS Basic Research in Computer Science BRICS RS-97-5 Etessami et al.: First-Order Logic with Two Variables and Unary Temporal Logic First-Order Logic with Add to Reading List Source URL: www.brics.dk Language: English - Date: 1997-06-05 08:58:45 Model theory Metalogic Predicate logic Electronic design automation Linear temporal logic First-order logic Boolean satisfiability problem Well-formed formula Constructible universe Logic Mathematical logic Theoretical computer science

UPDATE